检索结果

Select

1. 基于无证书环签名的虚拟机可信证明方案

荣星, 赵勇

计算机应用 2017, 37 (2): 378-382. DOI: 10.11772/j.issn.1001-9081.2017.02.0378

摘要（610）

PDF （784KB）（661）

由于虚拟环境的复杂性和动态性，使用传统方法证明其安全状态时会出现运算效率低下的情况；而环签名具有运算效率高、匿名性强的特点，利用无证书公钥系统可解决密钥管理问题。为此，提出一种采用无证书环签名机制的虚拟机可信证明方案。私钥生成中心（PKG）验证平台物理环境的状态可信后，由PKG和虚拟可信平台模块（vTPM）管理器利用无证书算法共同生成vTPM签名密钥，虚拟机对外证明时采用环签名机制，将证明者的信息隐藏在环成员列表中，从而实现虚拟机对外的匿名身份证明和状态证明。在完成证明准备工作后，虚拟机不需要在每次证明和迁移时重复生成虚拟身份证明密钥（vAIK）证书，因此大大提高了证明效率；另外方案具有很强的安全性和匿名性，适用于虚拟机数量巨大的云计算环境。

参考文献 | 相关文章 | 多维度评价

Select

2. 操作系统内核的动态可信度量模型

辛思远赵勇廖建华王婷

计算机应用 2012, 32 (04): 953-956. DOI: 10.3724/SP.J.1087.2012.00953

摘要（1449）

PDF （839KB）（439）

动态可信度量是可信计算的研究热点和难点，针对由操作系统内核动态性所引起的可信度量困难问题，提出一种操作系统内核的动态可信度量模型，使用动态度量变量描述和构建系统动态数据对象及其关系，对内核内存进行实时数据采集，采用语义约束描述内核动态数据的动态完整性，通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明，模型能够有效地对操作系统内核的动态数据进行可信度量，识别对内核动态数据的非法篡改。

参考文献 | 相关文章 | 多维度评价

Select

3. 基于边缘最大相关性的快速图像插值算法

党向盈吴锡生赵勇

计算机应用

摘要（1745）

PDF （838KB）（1170）

处理视频、网络信号要求有较好的视觉质量和较低的算法复杂度、运算量。传统的图像插值算法会产生细节模糊和边缘锯齿化,为此，提出了一种基于图像边缘多方向最大相关性的快速数字图像插值算法。为了得到高分辨率图像相关信息，根据图像空间域内多个方向邻近像素点的相关特性，利用与待内插值点相邻6个降采样像素值。实验证明，该算法降低了运算复杂度，有效地保持了边缘信息，得到了视觉质量较好的插值图像。